201. Mathematical foundations of computer science, 1977 : proceedings, 6th Symposium, Tatranska Lomnica, September 5-9, 1977
پدیدآورنده : edited by J. Gruska
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
202. Mathematical foundations of computer science 1977 : proceedings, 6th Symposium, Tatranska'Lomnica September 5-9, 1977
پدیدآورنده : edited by J. Gruska
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
53
203. Mathematical foundations of computer science 1981: proceedings, 10 th symposium Strbke Pleso, Czechosllovakia, August 31-September 4, 1981
پدیدآورنده :
موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses,، Computational complexity-- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
204. Mathematical foundations of computer science : symposium at ..
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
45
,
etc
...
205. Mathematical foundations of computer science : symposium at ..
پدیدآورنده : A. Kreczmar, G. Mirkowska )Eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
379
206. Mathematical foundations of computer science 1991 : 16th International symposium, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings
پدیدآورنده : A. Tarlecki )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
520
207. Mathematical foundations of computer science, 1975, 4th Symposium, Marianske, Lazne, September 1-5, 1975
پدیدآورنده : Edited by G. Goos and J. Hartmanis
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages
رده :
QA
267
.
5
.
S4
S89
1975
208. Mathematical foundations of computer science 1975, 4th symposium , Marianske Lazne , sept ,1-5, 1975
پدیدآورنده : Symposium on Mathematical foundations of computer science , 4th Marianske Lazne , Czechoslovak repulic ,5791
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Sequaential machine theory - Congresses,، Formal languages - Congresses
رده :
QA
267
.
5
.
S4S89
1975
209. Mathematical foundations of programming /
پدیدآورنده : Frank S. Beckman
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal languages,Logic, Symbolic and mathematical,Machine theory
رده :
QA9
.
B36
210. Mathematical foundations of programming
پدیدآورنده : Beckman, Frank S.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Machine theory,، Formal languages
رده :
QA
9
.
B36
211. #Picture languages
پدیدآورنده : #Azriel Rosenfeld
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Machine theory ،Optical pattern recognition ،Formal languages
رده :
#
QA
،#.
R67
212. Picture languages
پدیدآورنده : / Azriel Rosenfeld
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Machine theory,Optical pattern recognition,Formal languages
رده :
QA
267
.
R67
213. Problem solving in automata, languages, and complexity
پدیدآورنده : Du, Dingzhu
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
D8
2001
214. Programs, machines, and computation : an introduction to the theory of computing
پدیدآورنده : Clark, Keith L.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Machine theory,، Formal languages
رده :
QA
267
.
C54
215. Rational series and their languages
پدیدآورنده : Berstel, Jean
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Sequential machine theory,، Formal languages,، Power series
رده :
QA
267
.
5
.
S4
B47
1988
216. Rational series and their languages
پدیدآورنده : / Jean Berstel, Christophe Reutenauer
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Sequential machine theory,Formal languages,Power series
رده :
QA267
.
5
.
S4
,
B4713
1988
217. Rational series and their languages
پدیدآورنده : Berstel, Jean, 1491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Sequential machine theory,، Formal languages,، Power series
رده :
QA
267
.
5
.
S4B4713
1988
218. Semigroups, automata, and languages :University of Porto, 20-24, June 1994
پدیدآورنده : edited by Jorge Almeida, Gracinda M.S. Gomes, Pedro V. Silva
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Semigroups,Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
182
.
S443
1996
219. Semigroups, automata, and languages : University of Porto, 20-24, June 1994
پدیدآورنده : edited by Jorge Almeida, Gracinda M.S. Gomes, Pedro V. Silva
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Semigroups - Congresses , Machine theory - Congresses , Formal languages - Congresses
رده :
QA
182
.
S443
1994
220. Semirings, automata, languages
پدیدآورنده : Kuich, Werner, 1491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Machine theory,، Semirings )Mathematics(,، Formal languages
رده :
QA
267
.
K85
1985
